A MODEL-THEORETIC CHARACTERIZATION OF MONADIC SECOND ORDER LOGIC ON INFINITE WORDS
نویسندگان
چکیده
منابع مشابه
A model-theoretic characterization of monadic second order logic on infinite words
Monadic second order logic and linear temporal logic are two logical formalisms that can be used to describe classes of infinite words, i.e., first-order models based on the natural numbers with order, successor, and finitely many unary predicate symbols. Monadic second order logic over infinite words (S1S) can alternatively be described as a first-order logic interpreted in P(ω), the power set...
متن کاملA Model Theoretic Proof of Completeness of an Axiomatization of Monadic Second-Order Logic on Infinite Words
We discuss a complete axiomatization of Monadic SecondOrder Logic (MSO) on infinite words.By using model-theoretic methods, we give an alternative proof of D. Siefkes’ result that a fragment with full comprehension and induction of second-order Peano’s arithmetic is complete w.r.t. the validity of MSO-formulas on infinite words. We rely on Feferman-Vaught Theorems and the Ehrenfeucht-Fräıssé me...
متن کاملA Model Theoretic Proof of Completeness of an Axiomatization of Monadic Second-Order Logic on Streams
We discuss the completeness of an axiomatization of Monadic SecondOrder Logic (MSO) on infinite words (or streams). By using model-theoretic tools, we give an alternative proof of D. Siefkes’ result that a fragment with full comprehension and induction of second-order Peano’s arithmetic is complete w.r.t. the validity of MSO-formulas on streams. We rely on FefermanVaught Theorems and the Ehrenf...
متن کاملAsymptotic Monadic Second-Order Logic
In this paper we introduce so-called asymptotic logics, logics that are meant to reason about weights of elements in a model in a way inspired by topology. Our main subject of study is Asymptotic Monadic Second-Order Logic over infinite words. This is a logic talking about ωwords labelled by integers. It contains full monadic second-order logic and can express asymptotic properties of integers ...
متن کاملAbstract Argumentation via Monadic Second Order Logic
Argumentation via Monadic Second Order Logic
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 2017
ISSN: 0022-4812,1943-5886
DOI: 10.1017/jsl.2016.70